F. Coen-Porisini: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Smart transport and logistics: A Node-RED implementation

Sicari, Sabrina, Rizzardi, Alessandra, Coen-Porisini, Alberto

Journal:

Internet Technology Letters

Year:

2019

Language:

english

File:

PDF, 1.91 MB

english, 2019

2

Security, privacy and trust in Internet of Things: The road ahead

Sicari, S., Rizzardi, A., Grieco, L.A., Coen-Porisini, A.

Journal:

Computer Networks

Year:

2015

Language:

english

File:

PDF, 817 KB

english, 2015

3

5G in the Internet of Things era: an overview on security and privacy challenges

Sicari, Sabrina, Rizzardi, Alessandra, Coen-Porisini, Alberto

Journal:

Computer Networks

Year:

2020

File:

PDF, 6.16 MB

2020

4

Attribute-based encryption and sticky policies for data access control in a smart home scenario: a comparison on networked smart object middleware

Sicari, Sabrina, Rizzardi, Alessandra, Dini, Gianluca, Perazzo, Pericle, La Manna, Michele, Coen-Porisini, Alberto

Journal:

International Journal of Information Security

Year:

2020

File:

PDF, 1.80 MB

2020

5

Utilization of the ion analyser for the study of oxygen diffusion in solids and its application to zirconium

D. Quataert, F. Coen-Porisini

Journal:

Journal of Nuclear Materials

Year:

1970

Language:

english

File:

PDF, 984 KB

english, 1970

6

High temperature behaviour of the alloy hastelloy B in a hydrogen chloride/water vapour atmosphere

E. Ruedl, F. Coen-Porisini, T. Sasaki, C. De Asmundis

Journal:

Journal of Nuclear Materials

Year:

1981

Language:

english

File:

PDF, 1.58 MB

english, 1981

7

Software specialization via symbolic execution

Coen-Porisini, A., De Paoli, F., Ghezzi, C., Mandrioli, D.

Journal:

IEEE Transactions on Software Engineering

Year:

1991

Language:

english

File:

PDF, 1.42 MB

english, 1991

8

A security-and quality-aware system architecture for Internet of Things

Sicari, Sabrina, Cappiello, Cinzia, De Pellegrini, Francesco, Miorandi, Daniele, Coen-Porisini, Alberto

Journal:

Information Systems Frontiers

Year:

2016

Language:

english

File:

PDF, 797 KB

english, 2016

9

Securing the Smart Home: a real case study

Sicari, Sabrina, Rizzardi, Alessandra, Miorandi, Daniele, Coen-Porisini, Alberto

Journal:

Internet Technology Letters

Year:

2017

Language:

english

File:

PDF, 1.32 MB

english, 2017

10

A Risk Assessment Methodology for the Internet of Things

Sicari, Sabrina, Rizzardi, Alessandra, Miorandi, Daniele, Coen-Porisini, Alberto

Journal:

Computer Communications

Year:

2018

Language:

english

File:

PDF, 792 KB

english, 2018

11

Using TRIO for designing a CORBA-based application

Alberto Coen-Porisini, Dino Mandrioli

Journal:

Concurrency and Computation: Practice and Experience

Year:

2000

Language:

english

File:

PDF, 443 KB

english, 2000

12

High Temperature Corrosion of the Alloy Ni4Mo in a hydrogen chloride atmosphere

Dr. E. Ruedl, C. De Asmundis, F. Coen-Porisini

Journal:

Materials and Corrosion/Werkstoffe und Korrosion

Year:

1977

Language:

english

File:

PDF, 1.06 MB

english, 1977

13

Long-term corrosion tests of materials for thermal decomposition of sulphuric acid

F. Coen-Porisini

Journal:

International Journal of Hydrogen Energy

Year:

1983

Language:

english

File:

PDF, 843 KB

english, 1983

14

Array representation in symbolic execution

Alberto Coen-Porisini, Flavio De Paoli

Journal:

Computer Languages

Year:

1993

Language:

english

File:

PDF, 1020 KB

english, 1993

15

DyDAP: A dynamic data aggregation scheme for privacy aware wireless sensor networks

Sabrina Sicari, Luigi Alfredo Grieco, Gennaro Boggia, Alberto Coen-Porisini

Journal:

Journal of Systems and Software

Year:

2012

Language:

english

File:

PDF, 964 KB

english, 2012

16

A formal framework for ASTRAL intralevel proof obligations

Coen-Porisini, A., Kemmerer, R.A., Mandrioli, D.

Journal:

IEEE Transactions on Software Engineering

Year:

1994

Language:

english

File:

PDF, 1.22 MB

english, 1994

17

Specification of realtime systems using ASTRAL

Coen-Porisini, A., Ghezzi, C., Kemmerer, R.A.

Journal:

IEEE Transactions on Software Engineering

Year:

1997

Language:

english

File:

PDF, 392 KB

english, 1997

18

[Lecture Notes in Computer Science] Software Engineering and Middleware Volume 2596 || FORMAware: Framework of Reflective Components for Managing Architecture Adaptation

Coen-Porisini, Alberto, van der Hoek, André

Year:

2003

Language:

english

File:

PDF, 1.24 MB

english, 2003

19

Improving data quality using a cross layer protocol in wireless sensor networks

Alberto Coen-Porisini, Sabrina Sicari

Journal:

Computer Networks

Year:

2012

Language:

english

File:

PDF, 1.26 MB

english, 2012

20

[ACM Press the fourth international workshop - Leipzig, Germany (2008.05.17-2008.05.18)] Proceedings of the fourth international workshop on Software engineering for secure systems - SESS '08 - Introducing privacy in a hospital information system

Braghin, Stefano, Coen-Porisini, Alberto, Colombo, Pietro, Sicari, Sabrina, Trombetta, Alberto

Year:

2008

Language:

english

File:

PDF, 571 KB

english, 2008

21

Editorial Board

Sicari, Sabrina, Coen-Porisini, Alberto, Riggio, Roberto

Journal:

Journal of Renal Nutrition

Year:

2007

Language:

english

File:

PDF, 68 KB

english, 2007

22

DARE: evaluating Data Accuracy using node REputation

Sicari, Sabrina, Coen-Porisini, Alberto, Riggio, Roberto

Journal:

Computer Networks

Year:

2013

Language:

english

File:

PDF, 1.90 MB

english, 2013

23

[IEEE 2013 IEEE 9th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) - Lyon, France (2013.10.7-2013.10.9)] 2013 IEEE 9th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) - SETA: A secure sharing of tasks in clustered wireless sensor networks

Sicari, Sabrina, Grieco, Luigi Alfredo, Rizzardi, Alessandra, Boggia, Gennaro, Coen-Porisini, Alberto

Year:

2013

Language:

english

File:

PDF, 706 KB

english, 2013

24

[IEEE 14th Asia-Pacific Software Engineering Conference (APSEC'07) - Nagoya, Aichi, Japan (2007.12.4-2007.12.7)] 14th Asia-Pacific Software Engineering Conference (APSEC'07) - A Methodological Framework for SysML: a Problem Frames-based Approach

Colombo, Pietro, Del Bianco, Vieri, Lavazza, Luigi, Coen-Porisini, Alberto

Year:

2007

Language:

english

File:

PDF, 1.38 MB

english, 2007

25

[IEEE 2010 Fifth International Conference on Software Engineering Advances (ICSEA) - Nice, France (2010.08.22-2010.08.27)] 2010 Fifth International Conference on Software Engineering Advances - A Meta-model Supporting the Decomposition of Problem Descriptions

Lavazza, Luigi, Coen-Porisini, Alberto, Colombo, Pietro, Bianco, Vieri del

Year:

2010

Language:

english

File:

PDF, 310 KB

english, 2010

26

High Temperature Corrosion of a Ternary Ni–29Mo–4Fe Alloy in a Mixed Hydrogen Chloride–Water Vapour Atmosphere

Gesmundo, F., De Asmundis, C., Coen-Porisini, F., Ruedl, E.

Journal:

British Corrosion Journal

Year:

1980

Language:

english

File:

PDF, 3.53 MB

english, 1980

27

[IEEE 2014 IEEE 10th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) - Larnaca, Cyprus (2014.10.8-2014.10.10)] 2014 IEEE 10th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) - A NFP Model for Internet of Things applications

Sicari, Sabrina, Rizzardi, Alessandra, Coen-Porisini, Alberto, Cappiello, Cinzia

Year:

2014

Language:

english

File:

PDF, 1.17 MB

english, 2014

28

[IEEE 2009 Fourth International Conference on Software Engineering Advances (ICSEA) - Porto, Portugal (2009.09.20-2009.09.25)] 2009 Fourth International Conference on Software Engineering Advances - Towards a Meta-model for Problem Frames: Conceptual Issues and Tool Building Support

Colombo, P., Lavazza, L., Coen-Porisini, A., Bianco, V. del

Year:

2009

Language:

english

File:

PDF, 409 KB

english, 2009

29

The composability of ASTRAL realtime specifications

Coen-Porisini, Alberto, Kemmerer, Richard A.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1993

Language:

english

File:

PDF, 917 KB

english, 1993

30

Using symbolic execution for verifying safety-critical systems

Coen-Porisini, Alberto, Denaro, Giovanni, Ghezzi, Carlo, Pezzé, Mauro

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2001

Language:

english

File:

PDF, 137 KB

english, 2001

31

From formal models to formally based methods: an industrial experience

Ciapessoni, Emanuele, Mirandola, Piergiorgio, Coen-Porisini, Alberto, Mandrioli, Dino, Morzenti, Angelo

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

1999

Language:

english

File:

PDF, 234 KB

english, 1999

32

[ACM Press the 22nd international conference - Limerick, Ireland (2000.06.04-2000.06.11)] Proceedings of the 22nd international conference on Software engineering - ICSE '00 - A formal approach for designing CORBA based applications

Pradella, Matteo, Rossi, Matteo, Mandrioli, Dino, Coen-Porisini, Alberto

Year:

2000

Language:

english

File:

PDF, 231 KB

english, 2000

33

[ACM Press the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium - Vienna, Austria (2001.09.10-2001.09.14)] Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE-9 - Using symbolic execution for verifying safety-critical systems

Coen-Porisini, Alberto, Denaro, Giovanni, Ghezzi, Carlo, Pezzé, Mauro

Year:

2001

Language:

english

File:

PDF, 137 KB

english, 2001

34

A formal approach for designing CORBA-based applications

Coen-Porisini, Alberto, Pradella, Matteo, Rossi, Matteo, Mandrioli, Dino

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2003

Language:

english

File:

PDF, 467 KB

english, 2003

35

[ACM Press the 1993 international symposium - Cambridge, Massachusetts, United States (1993.06.28-1993.06.30)] Proceedings of the 1993 international symposium on Software testing and analysis - ISSTA '93 - The composability of ASTRAL realtime specifications

Coen-Porisini, Alberto, Kemmerer, Richard A.

Year:

1993

Language:

english

File:

PDF, 917 KB

english, 1993

36

A framework architecture for supervision and control systems

Capobianchi, Riccardo, Coen-Porisini, Alberto, Mandrioli, Dino, Morzenti, Angelo

Journal:

ACM Computing Surveys

Year:

2000

Language:

english

File:

PDF, 47 KB

english, 2000

37

[ACM Press the 2010 ACM Symposium - Sierre, Switzerland (2010.03.22-2010.03.26)] Proceedings of the 2010 ACM Symposium on Applied Computing - SAC '10 - Dealing with anonymity in wireless sensor networks

Coen-Porisini, Alberto, Colombo, Pietro, Sicari, Sabrina

Year:

2010

Language:

english

File:

PDF, 521 KB

english, 2010

38

A secure and quality-aware prototypical architecture for the Internet of Things

Sicari, Sabrina, Rizzardi, Alessandra, Miorandi, Daniele, Cappiello, Cinzia, Coen-Porisini, Alberto

Journal:

Information Systems

Year:

2016

Language:

english

File:

PDF, 1.16 MB

english, 2016

39

[IEEE 2015 IEEE 5th International Conference on Consumer Electronics - Berlin (ICCE-Berlin) - Berlin, Germany (2015.9.6-2015.9.9)] 2015 IEEE 5th International Conference on Consumer Electronics - Berlin (ICCE-Berlin) - GoNe: Dealing with node behavior

Sicari, Sabrina, Rizzardi, Alessandra, Grieco, Luigi Alfredo, Coen-Porisini, Alberto

Year:

2015

Language:

english

File:

PDF, 311 KB

english, 2015

40

AUPS: an Open Source AUthenticated Publish/Subscribe system for the Internet of Things

Rizzardi, Alessandra, Sicari, Sabrina, Miorandi, Daniele, Coen-Porisini, Alberto

Journal:

Information Systems

Year:

2016

Language:

english

File:

PDF, 1.46 MB

english, 2016

41

[IEEE 14th Asia-Pacific Software Engineering Conference (APSEC'07) - Nagoya, Aichi, Japan (2007.12.4-2007.12.7)] 14th Asia-Pacific Software Engineering Conference (APSEC'07) - A Methodological Framework for SysML: a Problem Frames-based Approach

Colombo, Pietro, Del Bianco, Vieri, Lavazza, Luigi, Coen-Porisini, Alberto

Year:

2007

Language:

english

File:

PDF, 1.38 MB

english, 2007

42

$$\hbox {S}^2$$ S 2 DCC: secure selective dropping congestion control in hybrid wireless multimedia sensor networks

Tortelli, Michele, Rizzardi, Alessandra, Sicari, Sabrina, Grieco, Luigi Alfredo, Boggia, Gennaro, Coen-Porisini, Alberto

Journal:

Wireless Networks

Year:

2016

Language:

english

File:

PDF, 2.35 MB

english, 2016

43

Security policy enforcement for networked smart objects

Sicari, Sabrina, Rizzardi, Alessandra, Miorandi, Daniele, Cappiello, Cinzia, Coen-Porisini, Alberto

Journal:

Computer Networks

Year:

2016

Language:

english

File:

PDF, 3.83 MB

english, 2016

44

[ACM Press the 12th ACM Symposium - Malta, Malta (2016.11.13-2016.11.17)] Proceedings of the 12th ACM Symposium on QoS and Security for Wireless and Mobile Networks - Q2SWinet '16 - Internet of Things

Sicari, Sabrina, Rizzardi, Alessandra, Miorandi, Daniele, Coen-Porisini, Alberto

Year:

2016

Language:

english

File:

PDF, 980 KB

english, 2016

45

A Policy Enforcement Framework for Internet of Things Applications in the Smart Health

Sicari, S., Rizzardi, A., Grieco, L.A., Piro, G., Coen-Porisini, A.

Journal:

Year:

2017

Language:

english

File:

PDF, 4.18 MB

english, 2017

46

[IEEE 2017 IEEE International Conference on Communications Workshops (ICC Workshops) - Paris, France (2017.5.21-2017.5.25)] 2017 IEEE International Conference on Communications Workshops (ICC Workshops) - A secure ICN-IoT architecture

Sicari, Sabrina, Rizzardi, Alessandra, Grieco, Luigi Alfredo, Coen-Porisini, Alberto

Year:

2017

Language:

english

File:

PDF, 399 KB

english, 2017

47

SYMBAD: A Symbolic Executor of Sequential Ada Programs

Coen-Porisini, A., De Paoli, F.

Journal:

IFAC Proceedings Volumes

Year:

1990

Language:

english

File:

PDF, 1.95 MB

english, 1990

48

High Level Design of Supervision and Control Systems Using Corba: an Example

Coen-Porisini, Alberto, Gatti, Daniela, Mariani, Daniele

Journal:

IFAC Proceedings Volumes

Year:

1998

Language:

english

File:

PDF, 1.29 MB

english, 1998

49

Security towards the edge: Sticky policy enforcement for networked smart objects

Sicari, Sabrina, Rizzardi, Alessandra, Miorandi, Daniele, Coen-Porisini, Alberto

Journal:

Information Systems

Year:

2017

Language:

english

File:

PDF, 883 KB

english, 2017

50

Dynamic Policies in Internet of Things: Enforcement and Synchronization

Sicari, Sabrina, Rizzardi, Alessandra, Miorandi, Daniele, Coen-Porisini, Alberto

Journal:

IEEE Internet of Things Journal

Year:

2017

Language:

english

File:

PDF, 559 KB

english, 2017